1. Mathematics of Program Construction
پدیدآورنده : \ Ralf Hinze , Janis Voigtländer (Eds.)
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Computer programming -- Mathematics -- Congresses.,Computer programs -- Mathematics -- Congresses.,Logics and Meanings of Programs.,برنامهنویسی -- ریاضیات -- کنگره ها ,برنامههای کامپیوتری -- ریاضیات -- کنگره ها
رده :
QA
75
.
5
.
M32
2015
E-Book
,
